From: Carlos Soriano Date: Thu, 16 Mar 2017 17:41:09 +0000 (+0100) Subject: appFavorites: Rename gnome-music.desktop X-Git-Tag: archive/raspbian/50.5-1+rpi1~1^2~1013^2^2~370 X-Git-Url: https://dgit.raspbian.org/%22http://www.example.com/cgi/%22/%22http:/www.example.com/cgi/%22?a=commitdiff_plain;h=2cce1b9ea053f89f8c30f98c211fb6e6f6167838;p=gnome-shell.git appFavorites: Rename gnome-music.desktop Recently Music gained a flatpak manifest inside the repo in bug 779905. However that requires the desktop file to be properly named like DBUS addresses are. This patch renames the old Music desktop file to the new one. https://bugzilla.gnome.org/show_bug.cgi?id=780157 --- diff --git a/js/ui/appFavorites.js b/js/ui/appFavorites.js index 12c83b0e3..33d66bb5b 100644 --- a/js/ui/appFavorites.js +++ b/js/ui/appFavorites.js @@ -6,6 +6,7 @@ const Signals = imports.signals; const Main = imports.ui.main; +// In alphabetical order const RENAMED_DESKTOP_IDS = { 'baobab.desktop': 'org.gnome.baobab.desktop', 'cheese.desktop': 'org.gnome.Cheese.desktop', @@ -27,6 +28,7 @@ const RENAMED_DESKTOP_IDS = { 'gnome-documents.desktop': 'org.gnome.Documents.desktop', 'gnome-font-viewer.desktop': 'org.gnome.font-viewer.desktop', 'gnome-nibbles.desktop': 'org.gnome.Nibbles.desktop', + 'gnome-music.desktop': 'org.gnome.Music.desktop', 'gnome-photos.desktop': 'org.gnome.Photos.desktop', 'gnome-screenshot.desktop': 'org.gnome.Screenshot.desktop', 'gnome-software.desktop': 'org.gnome.Software.desktop',